3.2.9 \(\int \frac {x^3 \sin (c+d x)}{(a+b x^3)^3} \, dx\) [109]

3.2.9.1 Optimal result
3.2.9.2 Mathematica [C] (verified)
3.2.9.3 Rubi [B] (verified)
3.2.9.4 Maple [C] (verified)
3.2.9.5 Fricas [C] (verification not implemented)
3.2.9.6 Sympy [F(-1)]
3.2.9.7 Maxima [F]
3.2.9.8 Giac [F]
3.2.9.9 Mupad [F(-1)]

3.2.9.1 Optimal result

Integrand size = 19, antiderivative size = 772 \[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\frac {d \cos (c+d x)}{18 a b^2 x}-\frac {d \cos (c+d x)}{18 b^2 x \left (a+b x^3\right )}+\frac {\operatorname {CosIntegral}\left (\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{27 a^{5/3} b^{4/3}}+\frac {d^2 \operatorname {CosIntegral}\left (\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{54 a b^2}-\frac {\sqrt [3]{-1} \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{27 a^{5/3} b^{4/3}}+\frac {d^2 \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{54 a b^2}+\frac {(-1)^{2/3} \operatorname {CosIntegral}\left (\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{27 a^{5/3} b^{4/3}}+\frac {d^2 \operatorname {CosIntegral}\left (\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{54 a b^2}+\frac {\sin (c+d x)}{18 a b^2 x^2}-\frac {x \sin (c+d x)}{6 b \left (a+b x^3\right )^2}-\frac {\sin (c+d x)}{18 b^2 x^2 \left (a+b x^3\right )}+\frac {\sqrt [3]{-1} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{27 a^{5/3} b^{4/3}}-\frac {d^2 \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{54 a b^2}+\frac {\cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right )}{27 a^{5/3} b^{4/3}}+\frac {d^2 \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right )}{54 a b^2}+\frac {(-1)^{2/3} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right )}{27 a^{5/3} b^{4/3}}+\frac {d^2 \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}+d x\right )}{54 a b^2} \]

output
1/18*d*cos(d*x+c)/a/b^2/x-1/18*d*cos(d*x+c)/b^2/x/(b*x^3+a)-1/27*(-1)^(1/3 
)*cos(c+(-1)^(1/3)*a^(1/3)*d/b^(1/3))*Si(-(-1)^(1/3)*a^(1/3)*d/b^(1/3)+d*x 
)/a^(5/3)/b^(4/3)+1/54*d^2*cos(c+(-1)^(1/3)*a^(1/3)*d/b^(1/3))*Si(-(-1)^(1 
/3)*a^(1/3)*d/b^(1/3)+d*x)/a/b^2+1/27*cos(c-a^(1/3)*d/b^(1/3))*Si(a^(1/3)* 
d/b^(1/3)+d*x)/a^(5/3)/b^(4/3)+1/54*d^2*cos(c-a^(1/3)*d/b^(1/3))*Si(a^(1/3 
)*d/b^(1/3)+d*x)/a/b^2+1/27*(-1)^(2/3)*cos(c-(-1)^(2/3)*a^(1/3)*d/b^(1/3)) 
*Si((-1)^(2/3)*a^(1/3)*d/b^(1/3)+d*x)/a^(5/3)/b^(4/3)+1/54*d^2*cos(c-(-1)^ 
(2/3)*a^(1/3)*d/b^(1/3))*Si((-1)^(2/3)*a^(1/3)*d/b^(1/3)+d*x)/a/b^2+1/27*C 
i(a^(1/3)*d/b^(1/3)+d*x)*sin(c-a^(1/3)*d/b^(1/3))/a^(5/3)/b^(4/3)+1/54*d^2 
*Ci(a^(1/3)*d/b^(1/3)+d*x)*sin(c-a^(1/3)*d/b^(1/3))/a/b^2-1/27*(-1)^(1/3)* 
Ci((-1)^(1/3)*a^(1/3)*d/b^(1/3)-d*x)*sin(c+(-1)^(1/3)*a^(1/3)*d/b^(1/3))/a 
^(5/3)/b^(4/3)+1/54*d^2*Ci((-1)^(1/3)*a^(1/3)*d/b^(1/3)-d*x)*sin(c+(-1)^(1 
/3)*a^(1/3)*d/b^(1/3))/a/b^2+1/27*(-1)^(2/3)*Ci((-1)^(2/3)*a^(1/3)*d/b^(1/ 
3)+d*x)*sin(c-(-1)^(2/3)*a^(1/3)*d/b^(1/3))/a^(5/3)/b^(4/3)+1/54*d^2*Ci((- 
1)^(2/3)*a^(1/3)*d/b^(1/3)+d*x)*sin(c-(-1)^(2/3)*a^(1/3)*d/b^(1/3))/a/b^2+ 
1/18*sin(d*x+c)/a/b^2/x^2-1/6*x*sin(d*x+c)/b/(b*x^3+a)^2-1/18*sin(d*x+c)/b 
^2/x^2/(b*x^3+a)
 
3.2.9.2 Mathematica [C] (verified)

Result contains higher order function than in optimal. Order 9 vs. order 4 in optimal.

Time = 0.46 (sec) , antiderivative size = 457, normalized size of antiderivative = 0.59 \[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\frac {i \text {RootSum}\left [a+b \text {$\#$1}^3\&,\frac {2 \cos (c+d \text {$\#$1}) \operatorname {CosIntegral}(d (x-\text {$\#$1}))-2 i \operatorname {CosIntegral}(d (x-\text {$\#$1})) \sin (c+d \text {$\#$1})-2 i \cos (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1}))-2 \sin (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1}))+d^2 \cos (c+d \text {$\#$1}) \operatorname {CosIntegral}(d (x-\text {$\#$1})) \text {$\#$1}^2-i d^2 \operatorname {CosIntegral}(d (x-\text {$\#$1})) \sin (c+d \text {$\#$1}) \text {$\#$1}^2-i d^2 \cos (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1})) \text {$\#$1}^2-d^2 \sin (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1})) \text {$\#$1}^2}{\text {$\#$1}^2}\&\right ]-i \text {RootSum}\left [a+b \text {$\#$1}^3\&,\frac {2 \cos (c+d \text {$\#$1}) \operatorname {CosIntegral}(d (x-\text {$\#$1}))+2 i \operatorname {CosIntegral}(d (x-\text {$\#$1})) \sin (c+d \text {$\#$1})+2 i \cos (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1}))-2 \sin (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1}))+d^2 \cos (c+d \text {$\#$1}) \operatorname {CosIntegral}(d (x-\text {$\#$1})) \text {$\#$1}^2+i d^2 \operatorname {CosIntegral}(d (x-\text {$\#$1})) \sin (c+d \text {$\#$1}) \text {$\#$1}^2+i d^2 \cos (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1})) \text {$\#$1}^2-d^2 \sin (c+d \text {$\#$1}) \text {Si}(d (x-\text {$\#$1})) \text {$\#$1}^2}{\text {$\#$1}^2}\&\right ]+\frac {6 b x \left (d x \left (a+b x^3\right ) \cos (c+d x)+\left (-2 a+b x^3\right ) \sin (c+d x)\right )}{\left (a+b x^3\right )^2}}{108 a b^2} \]

input
Integrate[(x^3*Sin[c + d*x])/(a + b*x^3)^3,x]
 
output
(I*RootSum[a + b*#1^3 & , (2*Cos[c + d*#1]*CosIntegral[d*(x - #1)] - (2*I) 
*CosIntegral[d*(x - #1)]*Sin[c + d*#1] - (2*I)*Cos[c + d*#1]*SinIntegral[d 
*(x - #1)] - 2*Sin[c + d*#1]*SinIntegral[d*(x - #1)] + d^2*Cos[c + d*#1]*C 
osIntegral[d*(x - #1)]*#1^2 - I*d^2*CosIntegral[d*(x - #1)]*Sin[c + d*#1]* 
#1^2 - I*d^2*Cos[c + d*#1]*SinIntegral[d*(x - #1)]*#1^2 - d^2*Sin[c + d*#1 
]*SinIntegral[d*(x - #1)]*#1^2)/#1^2 & ] - I*RootSum[a + b*#1^3 & , (2*Cos 
[c + d*#1]*CosIntegral[d*(x - #1)] + (2*I)*CosIntegral[d*(x - #1)]*Sin[c + 
 d*#1] + (2*I)*Cos[c + d*#1]*SinIntegral[d*(x - #1)] - 2*Sin[c + d*#1]*Sin 
Integral[d*(x - #1)] + d^2*Cos[c + d*#1]*CosIntegral[d*(x - #1)]*#1^2 + I* 
d^2*CosIntegral[d*(x - #1)]*Sin[c + d*#1]*#1^2 + I*d^2*Cos[c + d*#1]*SinIn 
tegral[d*(x - #1)]*#1^2 - d^2*Sin[c + d*#1]*SinIntegral[d*(x - #1)]*#1^2)/ 
#1^2 & ] + (6*b*x*(d*x*(a + b*x^3)*Cos[c + d*x] + (-2*a + b*x^3)*Sin[c + d 
*x]))/(a + b*x^3)^2)/(108*a*b^2)
 
3.2.9.3 Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(1592\) vs. \(2(772)=1544\).

Time = 3.48 (sec) , antiderivative size = 1592, normalized size of antiderivative = 2.06, number of steps used = 7, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.368, Rules used = {3824, 3812, 3825, 3826, 2009, 3827, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx\)

\(\Big \downarrow \) 3824

\(\displaystyle \frac {\int \frac {\sin (c+d x)}{\left (b x^3+a\right )^2}dx}{6 b}+\frac {d \int \frac {x \cos (c+d x)}{\left (b x^3+a\right )^2}dx}{6 b}-\frac {x \sin (c+d x)}{6 b \left (a+b x^3\right )^2}\)

\(\Big \downarrow \) 3812

\(\displaystyle \frac {d \int \frac {x \cos (c+d x)}{\left (b x^3+a\right )^2}dx}{6 b}+\frac {-\frac {2 \int \frac {\sin (c+d x)}{x^3 \left (b x^3+a\right )}dx}{3 b}+\frac {d \int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}-\frac {\sin (c+d x)}{3 b x^2 \left (a+b x^3\right )}}{6 b}-\frac {x \sin (c+d x)}{6 b \left (a+b x^3\right )^2}\)

\(\Big \downarrow \) 3825

\(\displaystyle \frac {-\frac {2 \int \frac {\sin (c+d x)}{x^3 \left (b x^3+a\right )}dx}{3 b}+\frac {d \int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}-\frac {\sin (c+d x)}{3 b x^2 \left (a+b x^3\right )}}{6 b}+\frac {d \left (-\frac {d \int \frac {\sin (c+d x)}{x \left (b x^3+a\right )}dx}{3 b}-\frac {\int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}-\frac {\cos (c+d x)}{3 b x \left (a+b x^3\right )}\right )}{6 b}-\frac {x \sin (c+d x)}{6 b \left (a+b x^3\right )^2}\)

\(\Big \downarrow \) 3826

\(\displaystyle \frac {-\frac {2 \int \left (\frac {\sin (c+d x)}{a x^3}-\frac {b \sin (c+d x)}{a \left (b x^3+a\right )}\right )dx}{3 b}+\frac {d \int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}-\frac {\sin (c+d x)}{3 b x^2 \left (a+b x^3\right )}}{6 b}+\frac {d \left (-\frac {d \int \left (\frac {\sin (c+d x)}{a x}-\frac {b x^2 \sin (c+d x)}{a \left (b x^3+a\right )}\right )dx}{3 b}-\frac {\int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}-\frac {\cos (c+d x)}{3 b x \left (a+b x^3\right )}\right )}{6 b}-\frac {x \sin (c+d x)}{6 b \left (a+b x^3\right )^2}\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {x \sin (c+d x)}{6 b \left (b x^3+a\right )^2}+\frac {d \left (-\frac {\cos (c+d x)}{3 b x \left (b x^3+a\right )}-\frac {d \left (\frac {\operatorname {CosIntegral}(d x) \sin (c)}{a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}+\frac {\cos (c) \text {Si}(d x)}{a}+\frac {\cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a}-\frac {\cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}\right )}{3 b}-\frac {\int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}\right )}{6 b}+\frac {-\frac {\sin (c+d x)}{3 b x^2 \left (b x^3+a\right )}-\frac {2 \left (-\frac {\operatorname {CosIntegral}(d x) \sin (c) d^2}{2 a}-\frac {\cos (c) \text {Si}(d x) d^2}{2 a}-\frac {\cos (c+d x) d}{2 a x}-\frac {b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}+\frac {\sqrt [3]{-1} b^{2/3} \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {\sin (c+d x)}{2 a x^2}-\frac {\sqrt [3]{-1} b^{2/3} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{5/3}}-\frac {b^{2/3} \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}\right )}{3 b}+\frac {d \int \frac {\cos (c+d x)}{x^2 \left (b x^3+a\right )}dx}{3 b}}{6 b}\)

\(\Big \downarrow \) 3827

\(\displaystyle -\frac {x \sin (c+d x)}{6 b \left (b x^3+a\right )^2}+\frac {d \left (-\frac {\cos (c+d x)}{3 b x \left (b x^3+a\right )}-\frac {d \left (\frac {\operatorname {CosIntegral}(d x) \sin (c)}{a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}+\frac {\cos (c) \text {Si}(d x)}{a}+\frac {\cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a}-\frac {\cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}\right )}{3 b}-\frac {\int \left (\frac {\cos (c+d x)}{a x^2}-\frac {b x \cos (c+d x)}{a \left (b x^3+a\right )}\right )dx}{3 b}\right )}{6 b}+\frac {-\frac {\sin (c+d x)}{3 b x^2 \left (b x^3+a\right )}-\frac {2 \left (-\frac {\operatorname {CosIntegral}(d x) \sin (c) d^2}{2 a}-\frac {\cos (c) \text {Si}(d x) d^2}{2 a}-\frac {\cos (c+d x) d}{2 a x}-\frac {b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}+\frac {\sqrt [3]{-1} b^{2/3} \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {\sin (c+d x)}{2 a x^2}-\frac {\sqrt [3]{-1} b^{2/3} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{5/3}}-\frac {b^{2/3} \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}\right )}{3 b}+\frac {d \int \left (\frac {\cos (c+d x)}{a x^2}-\frac {b x \cos (c+d x)}{a \left (b x^3+a\right )}\right )dx}{3 b}}{6 b}\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {x \sin (c+d x)}{6 b \left (b x^3+a\right )^2}+\frac {d \left (-\frac {\cos (c+d x)}{3 b x \left (b x^3+a\right )}-\frac {d \left (\frac {\operatorname {CosIntegral}(d x) \sin (c)}{a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}+\frac {\cos (c) \text {Si}(d x)}{a}+\frac {\cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a}-\frac {\cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}-\frac {\cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a}\right )}{3 b}-\frac {-\frac {\cos (c+d x)}{a x}+\frac {(-1)^{2/3} \sqrt [3]{b} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{4/3}}+\frac {\sqrt [3]{b} \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}-\frac {\sqrt [3]{-1} \sqrt [3]{b} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}-\frac {d \operatorname {CosIntegral}(d x) \sin (c)}{a}-\frac {d \cos (c) \text {Si}(d x)}{a}+\frac {(-1)^{2/3} \sqrt [3]{b} \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{4/3}}-\frac {\sqrt [3]{b} \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}+\frac {\sqrt [3]{-1} \sqrt [3]{b} \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}}{3 b}\right )}{6 b}+\frac {-\frac {\sin (c+d x)}{3 b x^2 \left (b x^3+a\right )}-\frac {2 \left (-\frac {\operatorname {CosIntegral}(d x) \sin (c) d^2}{2 a}-\frac {\cos (c) \text {Si}(d x) d^2}{2 a}-\frac {\cos (c+d x) d}{2 a x}-\frac {b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}+\frac {\sqrt [3]{-1} b^{2/3} \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right ) \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {\sin (c+d x)}{2 a x^2}-\frac {\sqrt [3]{-1} b^{2/3} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{5/3}}-\frac {b^{2/3} \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}-\frac {(-1)^{2/3} b^{2/3} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{5/3}}\right )}{3 b}+\frac {d \left (-\frac {\cos (c+d x)}{a x}+\frac {(-1)^{2/3} \sqrt [3]{b} \cos \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{4/3}}+\frac {\sqrt [3]{b} \cos \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}-\frac {\sqrt [3]{-1} \sqrt [3]{b} \cos \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \operatorname {CosIntegral}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}-\frac {d \operatorname {CosIntegral}(d x) \sin (c)}{a}-\frac {d \cos (c) \text {Si}(d x)}{a}+\frac {(-1)^{2/3} \sqrt [3]{b} \sin \left (c+\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (\frac {\sqrt [3]{-1} \sqrt [3]{a} d}{\sqrt [3]{b}}-d x\right )}{3 a^{4/3}}-\frac {\sqrt [3]{b} \sin \left (c-\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {\sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}+\frac {\sqrt [3]{-1} \sqrt [3]{b} \sin \left (c-\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right ) \text {Si}\left (x d+\frac {(-1)^{2/3} \sqrt [3]{a} d}{\sqrt [3]{b}}\right )}{3 a^{4/3}}\right )}{3 b}}{6 b}\)

input
Int[(x^3*Sin[c + d*x])/(a + b*x^3)^3,x]
 
output
-1/6*(x*Sin[c + d*x])/(b*(a + b*x^3)^2) + (d*(-1/3*Cos[c + d*x]/(b*x*(a + 
b*x^3)) - (d*((CosIntegral[d*x]*Sin[c])/a - (CosIntegral[(a^(1/3)*d)/b^(1/ 
3) + d*x]*Sin[c - (a^(1/3)*d)/b^(1/3)])/(3*a) - (CosIntegral[((-1)^(1/3)*a 
^(1/3)*d)/b^(1/3) - d*x]*Sin[c + ((-1)^(1/3)*a^(1/3)*d)/b^(1/3)])/(3*a) - 
(CosIntegral[((-1)^(2/3)*a^(1/3)*d)/b^(1/3) + d*x]*Sin[c - ((-1)^(2/3)*a^( 
1/3)*d)/b^(1/3)])/(3*a) + (Cos[c]*SinIntegral[d*x])/a + (Cos[c + ((-1)^(1/ 
3)*a^(1/3)*d)/b^(1/3)]*SinIntegral[((-1)^(1/3)*a^(1/3)*d)/b^(1/3) - d*x])/ 
(3*a) - (Cos[c - (a^(1/3)*d)/b^(1/3)]*SinIntegral[(a^(1/3)*d)/b^(1/3) + d* 
x])/(3*a) - (Cos[c - ((-1)^(2/3)*a^(1/3)*d)/b^(1/3)]*SinIntegral[((-1)^(2/ 
3)*a^(1/3)*d)/b^(1/3) + d*x])/(3*a)))/(3*b) - (-(Cos[c + d*x]/(a*x)) + ((- 
1)^(2/3)*b^(1/3)*Cos[c + ((-1)^(1/3)*a^(1/3)*d)/b^(1/3)]*CosIntegral[((-1) 
^(1/3)*a^(1/3)*d)/b^(1/3) - d*x])/(3*a^(4/3)) + (b^(1/3)*Cos[c - (a^(1/3)* 
d)/b^(1/3)]*CosIntegral[(a^(1/3)*d)/b^(1/3) + d*x])/(3*a^(4/3)) - ((-1)^(1 
/3)*b^(1/3)*Cos[c - ((-1)^(2/3)*a^(1/3)*d)/b^(1/3)]*CosIntegral[((-1)^(2/3 
)*a^(1/3)*d)/b^(1/3) + d*x])/(3*a^(4/3)) - (d*CosIntegral[d*x]*Sin[c])/a - 
 (d*Cos[c]*SinIntegral[d*x])/a + ((-1)^(2/3)*b^(1/3)*Sin[c + ((-1)^(1/3)*a 
^(1/3)*d)/b^(1/3)]*SinIntegral[((-1)^(1/3)*a^(1/3)*d)/b^(1/3) - d*x])/(3*a 
^(4/3)) - (b^(1/3)*Sin[c - (a^(1/3)*d)/b^(1/3)]*SinIntegral[(a^(1/3)*d)/b^ 
(1/3) + d*x])/(3*a^(4/3)) + ((-1)^(1/3)*b^(1/3)*Sin[c - ((-1)^(2/3)*a^(1/3 
)*d)/b^(1/3)]*SinIntegral[((-1)^(2/3)*a^(1/3)*d)/b^(1/3) + d*x])/(3*a^(...
 

3.2.9.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 3812
Int[((a_) + (b_.)*(x_)^(n_))^(p_)*Sin[(c_.) + (d_.)*(x_)], x_Symbol] :> Sim 
p[x^(-n + 1)*(a + b*x^n)^(p + 1)*(Sin[c + d*x]/(b*n*(p + 1))), x] + (-Simp[ 
(-n + 1)/(b*n*(p + 1))   Int[((a + b*x^n)^(p + 1)*Sin[c + d*x])/x^n, x], x] 
 - Simp[d/(b*n*(p + 1))   Int[x^(-n + 1)*(a + b*x^n)^(p + 1)*Cos[c + d*x], 
x], x]) /; FreeQ[{a, b, c, d}, x] && ILtQ[p, -1] && IGtQ[n, 2]
 

rule 3824
Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*Sin[(c_.) + (d_.)*(x_)], x_Sym 
bol] :> Simp[x^(m - n + 1)*(a + b*x^n)^(p + 1)*(Sin[c + d*x]/(b*n*(p + 1))) 
, x] + (-Simp[(m - n + 1)/(b*n*(p + 1))   Int[x^(m - n)*(a + b*x^n)^(p + 1) 
*Sin[c + d*x], x], x] - Simp[d/(b*n*(p + 1))   Int[x^(m - n + 1)*(a + b*x^n 
)^(p + 1)*Cos[c + d*x], x], x]) /; FreeQ[{a, b, c, d, m}, x] && ILtQ[p, -1] 
 && IGtQ[n, 0] && (GtQ[m - n + 1, 0] || GtQ[n, 2]) && RationalQ[m]
 

rule 3825
Int[Cos[(c_.) + (d_.)*(x_)]*(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Sym 
bol] :> Simp[x^(m - n + 1)*(a + b*x^n)^(p + 1)*(Cos[c + d*x]/(b*n*(p + 1))) 
, x] + (-Simp[(m - n + 1)/(b*n*(p + 1))   Int[x^(m - n)*(a + b*x^n)^(p + 1) 
*Cos[c + d*x], x], x] + Simp[d/(b*n*(p + 1))   Int[x^(m - n + 1)*(a + b*x^n 
)^(p + 1)*Sin[c + d*x], x], x]) /; FreeQ[{a, b, c, d, m}, x] && ILtQ[p, -1] 
 && IGtQ[n, 0] && (GtQ[m - n + 1, 0] || GtQ[n, 2]) && RationalQ[m]
 

rule 3826
Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*Sin[(c_.) + (d_.)*(x_)], x_Sym 
bol] :> Int[ExpandIntegrand[Sin[c + d*x], x^m*(a + b*x^n)^p, x], x] /; Free 
Q[{a, b, c, d, m}, x] && ILtQ[p, 0] && IGtQ[n, 0] && (EqQ[n, 2] || EqQ[p, - 
1]) && IntegerQ[m]
 

rule 3827
Int[Cos[(c_.) + (d_.)*(x_)]*(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Sym 
bol] :> Int[ExpandIntegrand[Cos[c + d*x], x^m*(a + b*x^n)^p, x], x] /; Free 
Q[{a, b, c, d, m}, x] && ILtQ[p, 0] && IGtQ[n, 0] && (EqQ[n, 2] || EqQ[p, - 
1]) && IntegerQ[m]
 
3.2.9.4 Maple [C] (verified)

Result contains higher order function than in optimal. Order 9 vs. order 4.

Time = 2.25 (sec) , antiderivative size = 1337, normalized size of antiderivative = 1.73

method result size
risch \(\text {Expression too large to display}\) \(1337\)
derivativedivides \(\text {Expression too large to display}\) \(2035\)
default \(\text {Expression too large to display}\) \(2035\)

input
int(x^3*sin(d*x+c)/(b*x^3+a)^3,x,method=_RETURNVERBOSE)
 
output
1/108*I/d/a^2/b*c^3*sum((-2*I*c*_R1+6*I*c+_R1^2-c^2-6*_R1+10)/(-2*I*c*_R1+ 
_R1^2-c^2)*exp(_R1)*Ei(1,_R1-I*d*x-I*c),_R1=RootOf(-3*I*_Z^2*b*c-I*d^3*a+I 
*b*c^3+b*_Z^3-3*c^2*b*_Z))+1/36*I/d/a^2/b^2*c^2*sum((-2*I*b*_R1*c^2+4*I*b* 
_R1^2+2*I*b*c^2+_R1^2*b*c+a*d^3-c^3*b-4*I*_R1*b+2*b*c*_R1+6*c*b)/(2*I*c*_R 
1-_R1^2+c^2)*exp(_R1)*Ei(1,_R1-I*d*x-I*c),_R1=RootOf(-3*I*_Z^2*b*c-I*d^3*a 
+I*b*c^3+b*_Z^3-3*c^2*b*_Z))+1/36*I/d/a^2/b^2*c*sum((I*_R1*a*d^3+2*I*_R1*b 
*c^3-8*I*_R1^2*b*c-2*I*a*d^3+2*I*b*c^3-_R1^2*b*c^2-a*c*d^3+b*c^4+8*I*_R1*b 
*c-10*_R1*b*c^2-2*c^2*b)/(2*I*c*_R1-_R1^2+c^2)*exp(_R1)*Ei(1,_R1-I*d*x-I*c 
),_R1=RootOf(-3*I*_Z^2*b*c-I*d^3*a+I*b*c^3+b*_Z^3-3*c^2*b*_Z))-1/108*I/d/a 
^2/b^2*sum((I*_R1*a*c*d^3+2*I*_R1*b*c^4-12*I*_R1^2*b*c^2-6*I*a*c*d^3+6*I*b 
*c^4+_R1^2*a*d^3-_R1^2*b*c^3-a*c^2*d^3+c^5*b+12*I*b*_R1*c^2-18*_R1*b*c^3-2 
*a*d^3+2*c^3*b)/(2*I*c*_R1-_R1^2+c^2)*exp(_R1)*Ei(1,_R1-I*d*x-I*c),_R1=Roo 
tOf(-3*I*_Z^2*b*c-I*d^3*a+I*b*c^3+b*_Z^3-3*c^2*b*_Z))-1/108*I/d/a^2/b*c^3* 
sum((-2*I*c*_R1-6*I*c+_R1^2-c^2+6*_R1+10)/(-2*I*c*_R1+_R1^2-c^2)*exp(-_R1) 
*Ei(1,I*d*x+I*c-_R1),_R1=RootOf(-3*I*_Z^2*b*c-I*d^3*a+I*b*c^3+b*_Z^3-3*c^2 
*b*_Z))-1/36*I/d/a^2/b^2*c^2*sum((-2*I*b*_R1*c^2-4*I*b*_R1^2-2*I*b*c^2+_R1 
^2*b*c+a*d^3-c^3*b-4*I*_R1*b-2*b*c*_R1+6*c*b)/(2*I*c*_R1-_R1^2+c^2)*exp(-_ 
R1)*Ei(1,I*d*x+I*c-_R1),_R1=RootOf(-3*I*_Z^2*b*c-I*d^3*a+I*b*c^3+b*_Z^3-3* 
c^2*b*_Z))-1/36*I/d/a^2/b^2*c*sum((I*_R1*a*d^3+2*I*_R1*b*c^3+8*I*_R1^2*b*c 
+2*I*a*d^3-2*I*b*c^3-_R1^2*b*c^2-a*c*d^3+b*c^4+8*I*_R1*b*c+10*_R1*b*c^2...
 
3.2.9.5 Fricas [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.33 (sec) , antiderivative size = 890, normalized size of antiderivative = 1.15 \[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\text {Too large to display} \]

input
integrate(x^3*sin(d*x+c)/(b*x^3+a)^3,x, algorithm="fricas")
 
output
1/108*((I*a*b^2*d^3*x^6 + 2*I*a^2*b*d^3*x^3 + I*a^3*d^3 + (b^3*x^6 + 2*a*b 
^2*x^3 + a^2*b + sqrt(3)*(I*b^3*x^6 + 2*I*a*b^2*x^3 + I*a^2*b))*(I*a*d^3/b 
)^(1/3))*Ei(-I*d*x + 1/2*(I*a*d^3/b)^(1/3)*(-I*sqrt(3) - 1))*e^(1/2*(I*a*d 
^3/b)^(1/3)*(I*sqrt(3) + 1) - I*c) + (-I*a*b^2*d^3*x^6 - 2*I*a^2*b*d^3*x^3 
 - I*a^3*d^3 + (b^3*x^6 + 2*a*b^2*x^3 + a^2*b + sqrt(3)*(I*b^3*x^6 + 2*I*a 
*b^2*x^3 + I*a^2*b))*(-I*a*d^3/b)^(1/3))*Ei(I*d*x + 1/2*(-I*a*d^3/b)^(1/3) 
*(-I*sqrt(3) - 1))*e^(1/2*(-I*a*d^3/b)^(1/3)*(I*sqrt(3) + 1) + I*c) + (I*a 
*b^2*d^3*x^6 + 2*I*a^2*b*d^3*x^3 + I*a^3*d^3 + (b^3*x^6 + 2*a*b^2*x^3 + a^ 
2*b + sqrt(3)*(-I*b^3*x^6 - 2*I*a*b^2*x^3 - I*a^2*b))*(I*a*d^3/b)^(1/3))*E 
i(-I*d*x + 1/2*(I*a*d^3/b)^(1/3)*(I*sqrt(3) - 1))*e^(1/2*(I*a*d^3/b)^(1/3) 
*(-I*sqrt(3) + 1) - I*c) + (-I*a*b^2*d^3*x^6 - 2*I*a^2*b*d^3*x^3 - I*a^3*d 
^3 + (b^3*x^6 + 2*a*b^2*x^3 + a^2*b + sqrt(3)*(-I*b^3*x^6 - 2*I*a*b^2*x^3 
- I*a^2*b))*(-I*a*d^3/b)^(1/3))*Ei(I*d*x + 1/2*(-I*a*d^3/b)^(1/3)*(I*sqrt( 
3) - 1))*e^(1/2*(-I*a*d^3/b)^(1/3)*(-I*sqrt(3) + 1) + I*c) + (-I*a*b^2*d^3 
*x^6 - 2*I*a^2*b*d^3*x^3 - I*a^3*d^3 - 2*(b^3*x^6 + 2*a*b^2*x^3 + a^2*b)*( 
-I*a*d^3/b)^(1/3))*Ei(I*d*x + (-I*a*d^3/b)^(1/3))*e^(I*c - (-I*a*d^3/b)^(1 
/3)) + (I*a*b^2*d^3*x^6 + 2*I*a^2*b*d^3*x^3 + I*a^3*d^3 - 2*(b^3*x^6 + 2*a 
*b^2*x^3 + a^2*b)*(I*a*d^3/b)^(1/3))*Ei(-I*d*x + (I*a*d^3/b)^(1/3))*e^(-I* 
c - (I*a*d^3/b)^(1/3)) + 6*(a*b^2*d^2*x^5 + a^2*b*d^2*x^2)*cos(d*x + c) + 
6*(a*b^2*d*x^4 - 2*a^2*b*d*x)*sin(d*x + c))/(a^2*b^4*d*x^6 + 2*a^3*b^3*...
 
3.2.9.6 Sympy [F(-1)]

Timed out. \[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\text {Timed out} \]

input
integrate(x**3*sin(d*x+c)/(b*x**3+a)**3,x)
 
output
Timed out
 
3.2.9.7 Maxima [F]

\[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\int { \frac {x^{3} \sin \left (d x + c\right )}{{\left (b x^{3} + a\right )}^{3}} \,d x } \]

input
integrate(x^3*sin(d*x+c)/(b*x^3+a)^3,x, algorithm="maxima")
 
output
-1/2*(6*(cos(c)^2 + sin(c)^2)*d*x^2*sin(d*x + c) + ((d^2*x^3*cos(c) - 6*d* 
x^2*sin(c) - 42*x*cos(c))*cos(d*x + c)^2 + (d^2*x^3*cos(c) - 6*d*x^2*sin(c 
) - 42*x*cos(c))*sin(d*x + c)^2)*cos(d*x + 2*c) + ((cos(c)^2 + sin(c)^2)*d 
^2*x^3 - 42*(cos(c)^2 + sin(c)^2)*x)*cos(d*x + c) - 2*(((b^3*cos(c)^2 + b^ 
3*sin(c)^2)*d^3*x^9 + 3*(a*b^2*cos(c)^2 + a*b^2*sin(c)^2)*d^3*x^6 + 3*(a^2 
*b*cos(c)^2 + a^2*b*sin(c)^2)*d^3*x^3 + (a^3*cos(c)^2 + a^3*sin(c)^2)*d^3) 
*cos(d*x + c)^2 + ((b^3*cos(c)^2 + b^3*sin(c)^2)*d^3*x^9 + 3*(a*b^2*cos(c) 
^2 + a*b^2*sin(c)^2)*d^3*x^6 + 3*(a^2*b*cos(c)^2 + a^2*b*sin(c)^2)*d^3*x^3 
 + (a^3*cos(c)^2 + a^3*sin(c)^2)*d^3)*sin(d*x + c)^2)*integrate(3/2*(18*a* 
d*x*sin(d*x + c) + (3*a*d^2*x^2 + 112*b*x^3 - 14*a)*cos(d*x + c))/(b^4*d^3 
*x^12 + 4*a*b^3*d^3*x^9 + 6*a^2*b^2*d^3*x^6 + 4*a^3*b*d^3*x^3 + a^4*d^3), 
x) - 2*(((b^3*cos(c)^2 + b^3*sin(c)^2)*d^3*x^9 + 3*(a*b^2*cos(c)^2 + a*b^2 
*sin(c)^2)*d^3*x^6 + 3*(a^2*b*cos(c)^2 + a^2*b*sin(c)^2)*d^3*x^3 + (a^3*co 
s(c)^2 + a^3*sin(c)^2)*d^3)*cos(d*x + c)^2 + ((b^3*cos(c)^2 + b^3*sin(c)^2 
)*d^3*x^9 + 3*(a*b^2*cos(c)^2 + a*b^2*sin(c)^2)*d^3*x^6 + 3*(a^2*b*cos(c)^ 
2 + a^2*b*sin(c)^2)*d^3*x^3 + (a^3*cos(c)^2 + a^3*sin(c)^2)*d^3)*sin(d*x + 
 c)^2)*integrate(3/2*(18*a*d*x*sin(d*x + c) + (3*a*d^2*x^2 + 112*b*x^3 - 1 
4*a)*cos(d*x + c))/((b^4*d^3*x^12 + 4*a*b^3*d^3*x^9 + 6*a^2*b^2*d^3*x^6 + 
4*a^3*b*d^3*x^3 + a^4*d^3)*cos(d*x + c)^2 + (b^4*d^3*x^12 + 4*a*b^3*d^3*x^ 
9 + 6*a^2*b^2*d^3*x^6 + 4*a^3*b*d^3*x^3 + a^4*d^3)*sin(d*x + c)^2), x) ...
 
3.2.9.8 Giac [F]

\[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\int { \frac {x^{3} \sin \left (d x + c\right )}{{\left (b x^{3} + a\right )}^{3}} \,d x } \]

input
integrate(x^3*sin(d*x+c)/(b*x^3+a)^3,x, algorithm="giac")
 
output
integrate(x^3*sin(d*x + c)/(b*x^3 + a)^3, x)
 
3.2.9.9 Mupad [F(-1)]

Timed out. \[ \int \frac {x^3 \sin (c+d x)}{\left (a+b x^3\right )^3} \, dx=\int \frac {x^3\,\sin \left (c+d\,x\right )}{{\left (b\,x^3+a\right )}^3} \,d x \]

input
int((x^3*sin(c + d*x))/(a + b*x^3)^3,x)
 
output
int((x^3*sin(c + d*x))/(a + b*x^3)^3, x)